Ex: The microscopic level is highly parameterised and the macroscopic level offers an easy-to-use interface to users.
Spanish-English dictionary. 2013.
Ocaml — El lenguaje Objective CAML, también llamado Ocaml u O Caml, es un lenguaje de programación avanzado de la familia de los lenguajes ML, desarrollado y distribuido por el INRIA en Francia. Ocaml admite los paradigmas de programación imperativa,… … Wikipedia Español
Coeficiente de reparto — El coeficiente de reparto (K) de una sustancia, también llamado coeficiente de distribución (D), o coeficiente de partición (P), es el cociente o razón entre las concentraciones de esa sustancia en las dos fases de la mezcla formada por dos… … Wikipedia Español
Geometría diferencial de superficies — Las curvaturas principales en un punto de una superficie. En matemáticas, la geometría diferencial de superficies propone definiciones y métodos para analizar la geometría de superficies o variedades diferenciales de dos dimensiones inmersas en… … Wikipedia Español
Esfuerzo interno — Saltar a navegación, búsqueda Representación gráfica de las tensiones o componentes del tensor tensión en un punto de un cuerpo. En ingeniería estructural, los esfuerzos internos son magnitudes físicas con unidades de fuerza sobre área utilizadas … Wikipedia Español
Espacio fásico — de un sistema dinámico con estabilidad focal. En mecánica clásica, el espacio fásico, espacio de fases o diagrama de fases es una construcción matemática que permite representar el conjunto de posiciones y momentos conjugados de un sistema de… … Wikipedia Español
Lenguaje de programación Gödel — Saltar a navegación, búsqueda Gödel es un lenguaje de programación declarativo, de propósito general que adhiere al paradigma de la programación lógica. Es un lenguaje fuertemente tipado, con un sistema de tipos basado en many sorted logic con… … Wikipedia Español
Inferencia de tipos — Los tipos de inferencia es una característica predominante de los lenguajes de programación funcionales tales como ML, Haskell, C#, Vala y Ocaml. La inferencia de tipos asigna automáticamente un tipo de datos a una función sin necesidad de que el … Wikipedia Español
Meta Lenguaje — ML Información general Paradigma multiparadigma: imperativo, funcional Apareció en 1973 Diseñado por Robin Milner y otros en la Universidad de Edimburgo … Wikipedia Español
Preprocesador de C — Saltar a navegación, búsqueda El preprocesador de C (cpp) es el preprocesador para el lenguaje de programación C. Es el primer programa invocado por el compilador y procesa directivas como #include, #define y #if. Estas directivas no son… … Wikipedia Español
Química computacional — Saltar a navegación, búsqueda La química computacional es una rama de la química que utiliza computadores para ayudar a resolver problemas químicos. Utiliza los resultados de la química teórica, incorporados en algún software para calcular las… … Wikipedia Español
RC6 — Saltar a navegación, búsqueda En criptografía, RC6 es una unidad de cifrado por bloques de clave simétrica derivada a partir de RC5. Fue diseñada por Ron Rivest, Matt Robshaw, Ray Sidney, y Yiqun Lisa Yin para cumplir los requerimientos de la… … Wikipedia Español
